1. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
2. A primer of infinitesimal analysis /
پدیدآورنده : John L. Bell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Nonstandard mathematical analysis.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonstandard mathematical analysis.
رده :
QA299
.
82
.
B45
2008eb
3. An axiomatic approach to geometry
پدیدآورنده : Borceux, Francis, 8491-
کتابخانه: (طهران)
موضوع : ، Geometry,، Axiomatic set theory
رده :
QA
445
.
B67G4
I
4. An axiomatic approach to geometry
پدیدآورنده : / Francis Borceux
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry,Axiomatic set theory,Mathematics,Geometry,History of Mathematical Sciences,Projective Geometry,MATHEMATICS / Geometry / General, bisacsh
رده :
E-BOOK
5. Axiomatic characterization of physical geometry
پدیدآورنده : Schmidt, Heinz-Jurgen, 8491-
کتابخانه: (طهران)
موضوع : ، Geometry,، Axiomatic set theory
رده :
QC
3
.
L28
Vol
.
111
6. Axiomatic characterization of physical geometry
پدیدآورنده : Schmidt, H.-J.)Heinz-Jurgen(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Geometry,، Axiomatic set theory
رده :
QC
20
.
7
.
G44
S35
7. Digital and Image Geometry :
پدیدآورنده : Gerhard Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
TA1637
.
G474
2001
8. Essays on the Foundations of Mathematics by Moritz Pasch
پدیدآورنده : edited by Stephen Pollard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy.
9. Geometry of state spaces of operator algebras /
پدیدآورنده : Erik M. Alfsen, Frederic W. Shultz
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Axiomatic set theory,Functional analysis,Jordan algebras,Lattice theory,Quantum logic
رده :
QA10
.
35
.
A44
2003
10. Operator theory, operator algebras, and matrix theory /
پدیدآورنده : Carlos André, lk M. Amélia Bastos, Alexei Yu. Karlovich, Bernd Silbermann, Ion Zaballa, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Matrices.,Operator algebras.,Operator theory.,Functional Analysis.,Linear and Multilinear Algebras, Matrix Theory.,Operator Theory.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Matrices.,Operator algebras.,Operator theory.
رده :
QA329
11. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
